Section: Software
The TRAIAN Compiler
Participants : Hubert Garavel [correspondent] , Frédéric Lang.
We develop a compiler named TRAIAN for translating LOTOS NT descriptions into C programs, which will be used for simulation, rapid prototyping, verification, and testing.
The current version of TRAIAN, which handles LOTOS NT types and functions only, has useful applications in compiler construction [44] , being used in all recent compilers developed by the CONVECS team.
The TRAIAN compiler can be freely downloaded from the CONVECS Web site (see http://convecs.inria.fr/software/traian ).